COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00004 00003	.ODDLEFTBORDER←EVENLEFTBORDER←300
C00005 00004	
C00006 ENDMK
C⊗;
.DEVICE XGP

.FONT 1 "BASL30"
.FONT 2 "BASB30"
.FONT 4  "BASI30"
.FONT 5  "BDR40"
.FONT 6  "NGR25"
.FONT 7  "NGR20"
.FONT 8  "GRFX35"
.FONT A "SUP"
.FONT B "SUB"
.TURN ON "↑α↓_π[]{"
.TURN ON "⊗" FOR "%"
.TURN ON "@" FOR "%"
.PAGE FRAME 54 HIGH 60 WIDE
.AREA TEXT LINES 3 TO 53
.COUNT PAGE PRINTING "1"
.TABBREAK
.ODDLEFTBORDER←EVENLEFTBORDER←3000
.AT "ffi" ⊂ IF THISFONT ≤ 4 THEN "≠"  ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 4 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff"  ⊂ IF THISFONT ≤ 4 THEN "≥"  ELSE "fαf" ⊃;
.AT "fi"  ⊂ IF THISFONT ≤ 4 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl"  ⊂ IF THISFONT ≤ 4 THEN "∨"  ELSE "fαl" ⊃;
.SELECT 1
.MACRO B ⊂ BEGIN VERBATIM GROUP ⊃
.MACRO E ⊂ APART END ⊃
.MACRO FAD ⊂ FILL ADJUST DOUBLE SPACE PREFACE 2 ⊃
.MACRO FAS ⊂ FILL ADJUST SINGLE SPACE PREFACE 1 ⊃
.FAS
.SELECT 1
.PORTION THESIS
.PAGE←0
.NEXT PAGE
.INDENT 0
.TURN OFF "{∞→}"   
.GROUP SKIP 1
.ODDLEFTBORDER←EVENLEFTBORDER←300
.SELECT 7 
.NOFILL
.NEXT PAGE
.FLUSH LEFT

ACM categories:


3.61 Induction and 
Hypothesis Formation

3.66 Theory of
Heuristic Methods

3.15 Mathematics;
Number Theory

3.6 Artificial Intelligence

.GROUP SKIP 4

Major keywords:

Induction/Hypothesis Formation
Theory of Heuristic Methods
Artificial Intelligence
Mathematics
.NEXT PAGE

ACM categories:

3.61 Induction and Hypothesis Formation

3.66 Theory of Heuristic Methods

3.15 Mathematics; Number Theory

3.6 Artificial Intelligence

.GROUP SKIP 4

Major keywords:

Induction/Hypothesis Formation
Theory of Heuristic Methods
Artificial Intelligence
Mathematics